#include<bits/stdc++.h>
using namespace std;
int main() {
  vector<int> v{1,2,3,4};
  cout<<"42\n";
  int cnt=0;
  do{
    cnt++;
    cout<<"4\n";
    for(auto el:v) cout<<el<<' ';
    cout<<'\n';
  }while(next_permutation(v.begin(), v.end()));
  cout<<cnt<<endl;
}
